Skip to content

Fix #90. PHP extension dir#91

Merged
omerida merged 1 commit intomainfrom
task/90-ext-dir
Feb 25, 2026
Merged

Fix #90. PHP extension dir#91
omerida merged 1 commit intomainfrom
task/90-ext-dir

Conversation

@omerida
Copy link
Owner

@omerida omerida commented Feb 25, 2026

…easier.

Linked Issue(s)

Please include the issue number that this PR addresses. This helps track the completion of the original task.

Fixes #90

Summary of Changes

Removes hardcoded extension dir to make future PHP upgrades easier

Testing

Describe how you tested your changes.

Breaking Changes / Migration Notes

(If applicable, describe any backward-incompatible changes and provide instructions for upgrading.)

  • This change introduces breaking changes.
  • No breaking changes.

@omerida omerida merged commit ada84d5 into main Feb 25, 2026
1 check passed
@omerida omerida deleted the task/90-ext-dir branch February 25, 2026 03:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[MAINT] Dynamically lookup extension dir when building PHP container

1 participant